Numerical strategy for model correction using physical constraints
نویسندگان
چکیده
منابع مشابه
Model-Counting Approaches for Nonlinear Numerical Constraints
Model counting is of central importance in quantitative reasoning about systems. Examples include computing the probability that a system successfully accomplishes its task without errors, and measuring the number of bits leaked by a system to an adversary in Shannon entropy. Most previous work in those areas demonstrated their analysis on programs with linear constraints, in which cases model ...
متن کاملthe use of appropriate madm model for ranking the vendors of mci equipments using fuzzy approach
abstract nowadays, the science of decision making has been paid to more attention due to the complexity of the problems of suppliers selection. as known, one of the efficient tools in economic and human resources development is the extension of communication networks in developing countries. so, the proper selection of suppliers of tc equipments is of concern very much. in this study, a ...
15 صفحه اولNumerical Constraints for XML
We introduce numerical constraints into the context of XML which restrict the number of nodes within subtrees of an XML tree that contain specific value-equal subnodes. We demonstrate the applicability of numerical constraints by optimising XML queries and predicting the number of XML query answers, updates and encryptions. In order to effectively unlock the wide range of XML applications decis...
متن کاملElastic wavefield tomography with physical model constraints
We propose elastic isotropic wavefield tomography formulated with the misfit of observed and recorded data as the objective function. The adjoint-state method enables efficient calculation of the gradient of this data misfit function. We solve this optimization problem with the gradient-descent method in order to update the model parameters iteratively. Using the elastic isotropic wave-equation...
متن کاملCertifying Solutions for Numerical Constraints
A large portion of software is used for numerical computation in mathematics, physics and engineering. Among the aspects that make verification in this domain difficult is the need to quantify numerical errors, such as roundoff errors and errors due to the use of approximate numerical methods. Much of numerical software uses self-stabilizing iterative algorithms, for example, to find solutions ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational Physics
سال: 2016
ISSN: 0021-9991
DOI: 10.1016/j.jcp.2016.02.054